classical sentential calculus

经典语句演算, 经典命题演算